Section: Partnerships and Cooperations

International Initiatives

ANCOME

• Title: Memory and applications memory behavior

• International Partner (Institution - Laboratory - Researcher):

  • Universidad de Buenos Aires (ARGENTINE)

• Duration: 2011 - ___AT.ANNEEMOISFIN???___

• See also: http://lafhis.dc.uba.ar/wiki/index.php/EA-Ancome

• This associate team focuses on developing original methods for the analysis of programs memory behavior, in particular in the context of applications using dynamic memory allocation. The proposed approaches consist in analyzing and modeling the runtime behavior, where extracted properties are then verified thanks to static analysis processes. Thus pure static approaches limits will be overpassed. Further, the case of multi-threaded applications run on multi-core architectures will be studied in order to elaborate and extend our analysis techniques and to extract properties specific to this context. The issues are mainly concerned with the conception of real-time applications using dynamic memory allocation.

• Reservoir Labs, New York, NY, USA

• Intel, Santa Clara, CA, USA

• UPMARC, University of Uppsala, Sweden

• University of Batna, Algeria

• University El Manar, Tunis, Tunisia

• Ohio State University, Colombus, USA

• Louisiana State University, Baton Rouge, USA

• Indian Institute of Science (IIIS) Bangalore, India

• University of Delaware, DE, USA